Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
shell: piping concatenated commands
michal.sapka.pl·1d
🐚Shell Calculus
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·5h·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🦀Rust Borrowing
Show HN: I made AquaShell, a scripting and automation environment for Windows
aquashell-scripting.com·3h·
Discuss: Hacker News
🐚Shell Automation
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·6h·
Discuss: Hacker News
🌀Brotli Internals
haskell/mtl
github.com·21h
🔗Functional Compilers
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
Python 3.14.0rc3 is go!
blogger.com·11h
🌳Incremental Parsing
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·11h·
Discuss: Hacker News
🔗Functional Compilers
What I learned building a programming language with LLM agents
eddmann.com·6h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
An Open source ML library for beginners that not only perfoms preprocessing but also generates reports & visualizations for better understanding! ⚡❤️‍🔥
dev.to·6h·
Discuss: DEV
🔗Topological Sorting
Nvmath-Python: Nvidia Math Libraries for the Python Ecosystem
github.com·55m·
Discuss: Hacker News
⚡SIMD Optimization
Combating headcrabs in the Source SDK codebase
gamedev.net·5h·
Discuss: Hacker News
🦀Rust Macros
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·8h·
Discuss: r/golang
🦀Rust Macros